Axiomatising Divergence
نویسندگان
چکیده
This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time – branching time spectrum with silent moves, partially solving an open problem posed in [5].
منابع مشابه
Axiomatising Various Classes of Relation and Cylindric Algebras
We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras.
متن کاملAspects of relation algebras
Outline 1. Introduction to relation algebras. Representations. Atom structures. Examples. 2. Using games to build representations. Axiomatising the finite representable relation algebras. 3. 'Rainbow' construction (Hirsch). Monk's theorem that the representable relation algebras are not finitely axiomatisable. 4. Relativised representations. Weakly associative algebras (WA, Maddux). Finite base...
متن کاملVarieties of Effects
We introduce the notion of effectoid as a way of axiomatising the notion of “computational effect”. Guided by classical algebra, we define several effectoids equationally and explore their relationship with each other. We demonstrate their computational relevance by applying them to global exceptions, partiality, continuations, and global state.
متن کاملIntertranslating Counterfactuals and Updates
We recall that the Ramsey Rule can be seen as axiomatising the relationship of inverse accessibility relations which exists between the notions of update and counterfactual conditional. We use this fact to translate between postulates for updates and postulates for counterfactuals. Thus, Katsuno/Mendelzon's postulates U1{U8 are translated into counterfactual postulates C1{C8 (theorem 6), and ma...
متن کاملA note on decision making in medical investigations using new divergence measures for intuitionistic fuzzy sets
Srivastava and Maheshwari (Iranian Journal of Fuzzy Systems 13(1)(2016) 25-44) introduced a new divergence measure for intuitionisticfuzzy sets (IFSs). The properties of the proposed divergence measurewere studied and the efficiency of the proposed divergence measurein the context of medical diagnosis was also demonstrated. In thisnote, we point out some errors in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 203 شماره
صفحات -
تاریخ انتشار 2002